\small\begin{verbatim}

##################### extract of `users' table ####################
#
Alina.DaCruz:822-local vs2.cs.ucl.ac.uk
Steve.Kille:822-local pyr1.cs.ucl.ac.uk
John.Taylor:822-local vs2.cs.ucl.ac.uk, slocal vs2.cs.ucl.ac.uk
Postie.Pat:822-local vs2.cs.ucl.ac.uk
x400-users:list
info-server:shell
#
\end{verbatim}
